$\forall$$T$:Type, $L$:($T$ List), $R$:(\{$x$:$T$$\mid$ ($x$ $\in$ $L$)\} $\rightarrow$Realizer).
\\[0ex]($T$ $\subseteq$r Id)
\\[0ex]$\Rightarrow$ ($\forall$$x$$\in$$L$. R{-}Feasible($R$($x$)))
\\[0ex]$\Rightarrow$ ($\forall$$x$$\in$$L$. $\forall$$i$:Id. R{-}has{-}loc($R$($x$);$i$) = $x$ = $i$ $\in$ $\mathbb{B}$)
\\[0ex]$\Rightarrow$ ($\forall$$x$$\in$$L$. $\forall$$y$$\in$$L$. R{-}icompat($R$($x$);$R$($y$)))
\\[0ex]$\Rightarrow$ R{-}Feasible($\oplus$$x$$\in$$L$.$R$($x$))